-- BP 7.1.6 content: InstanceStateMachine syschar: 3 persistence-version: 7.1.6

INSERT INTO SM_ISM
	VALUES ("2a4f7c04-b79c-407c-a503-5cde7e095156",
	"97deb723-8b1d-43a6-95c5-2bada8a89daf");
INSERT INTO SM_SM
	VALUES ("2a4f7c04-b79c-407c-a503-5cde7e095156",
	'',
	0);
INSERT INTO SM_MOORE
	VALUES ("2a4f7c04-b79c-407c-a503-5cde7e095156");
INSERT INTO SM_LEVT
	VALUES ("c5366b7a-952f-4a54-a42c-07c49965522f",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_SEVT
	VALUES ("c5366b7a-952f-4a54-a42c-07c49965522f",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_EVT
	VALUES ("c5366b7a-952f-4a54-a42c-07c49965522f",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000",
	1,
	'create',
	0,
	'',
	'BOOL1',
	'');
INSERT INTO SM_LEVT
	VALUES ("9926d59a-45e8-4686-b3dc-a99ef634caac",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_SEVT
	VALUES ("9926d59a-45e8-4686-b3dc-a99ef634caac",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_EVT
	VALUES ("9926d59a-45e8-4686-b3dc-a99ef634caac",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000",
	2,
	'destroy',
	0,
	'',
	'BOOL2',
	'');
INSERT INTO SM_STATE
	VALUES ("c495e580-27bf-4283-a2e6-01341ded65f6",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000",
	'Creating',
	1,
	0);
INSERT INTO SM_CH
	VALUES ("c495e580-27bf-4283-a2e6-01341ded65f6",
	"c5366b7a-952f-4a54-a42c-07c49965522f",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000",
	'');
INSERT INTO SM_SEME
	VALUES ("c495e580-27bf-4283-a2e6-01341ded65f6",
	"c5366b7a-952f-4a54-a42c-07c49965522f",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_SEME
	VALUES ("c495e580-27bf-4283-a2e6-01341ded65f6",
	"9926d59a-45e8-4686-b3dc-a99ef634caac",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_STATE
	VALUES ("03547a00-a3f9-4668-ac89-338e1c428a19",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000",
	'Destroying',
	2,
	1);
INSERT INTO SM_CH
	VALUES ("03547a00-a3f9-4668-ac89-338e1c428a19",
	"c5366b7a-952f-4a54-a42c-07c49965522f",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000",
	'');
INSERT INTO SM_SEME
	VALUES ("03547a00-a3f9-4668-ac89-338e1c428a19",
	"c5366b7a-952f-4a54-a42c-07c49965522f",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_CH
	VALUES ("03547a00-a3f9-4668-ac89-338e1c428a19",
	"9926d59a-45e8-4686-b3dc-a99ef634caac",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000",
	'');
INSERT INTO SM_SEME
	VALUES ("03547a00-a3f9-4668-ac89-338e1c428a19",
	"9926d59a-45e8-4686-b3dc-a99ef634caac",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_CRTXN
	VALUES ("037e7989-0c44-4c1f-b7c1-fc0bd948c78b",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"c5366b7a-952f-4a54-a42c-07c49965522f",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_TXN
	VALUES ("037e7989-0c44-4c1f-b7c1-fc0bd948c78b",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"c495e580-27bf-4283-a2e6-01341ded65f6",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_NSTXN
	VALUES ("fd52c433-87ce-477c-8a3b-0bda3f26c2b1",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"c495e580-27bf-4283-a2e6-01341ded65f6",
	"9926d59a-45e8-4686-b3dc-a99ef634caac",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_TXN
	VALUES ("fd52c433-87ce-477c-8a3b-0bda3f26c2b1",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"03547a00-a3f9-4668-ac89-338e1c428a19",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO SM_MOAH
	VALUES ("85db8f2f-8787-4fb4-8f81-6f1edea2ca06",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"c495e580-27bf-4283-a2e6-01341ded65f6");
INSERT INTO SM_AH
	VALUES ("85db8f2f-8787-4fb4-8f81-6f1edea2ca06",
	"2a4f7c04-b79c-407c-a503-5cde7e095156");
INSERT INTO SM_ACT
	VALUES ("85db8f2f-8787-4fb4-8f81-6f1edea2ca06",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	1,
	'// Only create if type doesn''t exist
select many bools from instances of BOOL;
if (cardinality bools == 1)
   create object instance type of TYPE;
   create object instance core of CORE;
   relate type to core across R401;
   relate core to self across R403;
   type.name = "boolean";
   core.type = data_t::BOOLEAN;
   self.generateSupportedOperators();
else
   LOG::LogFailure(message:"Multiple creation of BOOL attempted!");
   generate BOOL2:destroy to self;
end if;',
	'',
	0);
INSERT INTO SM_TAH
	VALUES ("8b46e0f7-046e-4a3a-b534-faf6fd1cc347",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"037e7989-0c44-4c1f-b7c1-fc0bd948c78b");
INSERT INTO SM_AH
	VALUES ("8b46e0f7-046e-4a3a-b534-faf6fd1cc347",
	"2a4f7c04-b79c-407c-a503-5cde7e095156");
INSERT INTO SM_ACT
	VALUES ("8b46e0f7-046e-4a3a-b534-faf6fd1cc347",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	1,
	'',
	'',
	0);
INSERT INTO SM_MOAH
	VALUES ("e37e864a-fcf5-4063-85b4-264fbea38e87",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"03547a00-a3f9-4668-ac89-338e1c428a19");
INSERT INTO SM_AH
	VALUES ("e37e864a-fcf5-4063-85b4-264fbea38e87",
	"2a4f7c04-b79c-407c-a503-5cde7e095156");
INSERT INTO SM_ACT
	VALUES ("e37e864a-fcf5-4063-85b4-264fbea38e87",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	1,
	'select one core related by self->CORE[R403];
if (not empty core)
  core.destroy();
  unrelate core from self across R403;
  delete object instance core;
end if;',
	'',
	0);
INSERT INTO SM_TAH
	VALUES ("aa9a8128-21cd-4e96-899a-349997a44c5e",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	"fd52c433-87ce-477c-8a3b-0bda3f26c2b1");
INSERT INTO SM_AH
	VALUES ("aa9a8128-21cd-4e96-899a-349997a44c5e",
	"2a4f7c04-b79c-407c-a503-5cde7e095156");
INSERT INTO SM_ACT
	VALUES ("aa9a8128-21cd-4e96-899a-349997a44c5e",
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	1,
	'',
	'',
	0);
INSERT INTO GD_MD
	VALUES ("7f08002b-4999-4efc-b2e5-af91e9fe45ae",
	8,
	"2a4f7c04-b79c-407c-a503-5cde7e095156",
	40,
	0,
	0,
	1,
	1,
	1,
	12,
	1,
	0,
	0,
	200,
	150,
	0,
	'4.1.17',
	'shlaer-mellor-metamodel::metamodel::Shlaer-Mellor Metamodel::Type::Boolean::Instance State Machine');
INSERT INTO GD_GE
	VALUES ("77276f69-c767-4ec1-ba3a-f54ec8238aa2",
	"7f08002b-4999-4efc-b2e5-af91e9fe45ae",
	"c495e580-27bf-4283-a2e6-01341ded65f6",
	41,
	0,
	'shlaer-mellor-metamodel::metamodel::Shlaer-Mellor Metamodel::Type::Boolean::Instance State Machine::Creating');
INSERT INTO GD_SHP
	VALUES ("77276f69-c767-4ec1-ba3a-f54ec8238aa2");
INSERT INTO GD_NCS
	VALUES ("77276f69-c767-4ec1-ba3a-f54ec8238aa2");
INSERT INTO DIM_ND
	VALUES (200.000000,
	150.000000,
	"77276f69-c767-4ec1-ba3a-f54ec8238aa2");
INSERT INTO DIM_GE
	VALUES (4296.000000,
	3134.000000,
	"77276f69-c767-4ec1-ba3a-f54ec8238aa2",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("77276f69-c767-4ec1-ba3a-f54ec8238aa2",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_CON
	VALUES ("d19bb0f9-c37c-4cd1-a5c6-d4b1c15dbe3f",
	4392.000000,
	3134.000000,
	"77276f69-c767-4ec1-ba3a-f54ec8238aa2");
INSERT INTO DIM_CON
	VALUES ("68dc9041-b3b5-4b49-974b-39bd48079c9d",
	4392.000000,
	3284.000000,
	"77276f69-c767-4ec1-ba3a-f54ec8238aa2");
INSERT INTO GD_GE
	VALUES ("19aaf900-908c-4973-9b21-4aeb28674a99",
	"7f08002b-4999-4efc-b2e5-af91e9fe45ae",
	"037e7989-0c44-4c1f-b7c1-fc0bd948c78b",
	49,
	0,
	'BOOL1: create');
INSERT INTO GD_CON
	VALUES ("19aaf900-908c-4973-9b21-4aeb28674a99",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("c6d06ad6-5abd-47f6-a997-24a9db699a7b",
	"19aaf900-908c-4973-9b21-4aeb28674a99",
	0,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"c6d06ad6-5abd-47f6-a997-24a9db699a7b");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"c6d06ad6-5abd-47f6-a997-24a9db699a7b",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("c6d06ad6-5abd-47f6-a997-24a9db699a7b",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("6fff2c89-d0c0-469e-9b01-ef04a4ded5f9",
	"19aaf900-908c-4973-9b21-4aeb28674a99",
	2,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"6fff2c89-d0c0-469e-9b01-ef04a4ded5f9");
INSERT INTO DIM_GE
	VALUES (4252.000000,
	3072.000000,
	"6fff2c89-d0c0-469e-9b01-ef04a4ded5f9",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("6fff2c89-d0c0-469e-9b01-ef04a4ded5f9",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("1721a331-ad6b-4ffd-8ec2-43f910e43a06",
	"19aaf900-908c-4973-9b21-4aeb28674a99",
	1,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"1721a331-ad6b-4ffd-8ec2-43f910e43a06");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"1721a331-ad6b-4ffd-8ec2-43f910e43a06",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("1721a331-ad6b-4ffd-8ec2-43f910e43a06",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_LS
	VALUES ("099fbfc6-b182-4b02-8fc2-5a1d0e101f21",
	"19aaf900-908c-4973-9b21-4aeb28674a99",
	"00000000-0000-0000-0000-000000000000",
	"1a85b7b6-fe3b-42a7-99d8-6ea1140c0b9f",
	"b6d51f0f-1f62-4660-be4a-3a7e68ef1b2d");
INSERT INTO DIM_WAY
	VALUES ("1a85b7b6-fe3b-42a7-99d8-6ea1140c0b9f",
	4392.000000,
	3134.000000,
	"19aaf900-908c-4973-9b21-4aeb28674a99",
	"00000000-0000-0000-0000-000000000000",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_WAY
	VALUES ("b6d51f0f-1f62-4660-be4a-3a7e68ef1b2d",
	4392.000000,
	3048.000000,
	"19aaf900-908c-4973-9b21-4aeb28674a99",
	"00000000-0000-0000-0000-000000000000",
	"1a85b7b6-fe3b-42a7-99d8-6ea1140c0b9f");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"19aaf900-908c-4973-9b21-4aeb28674a99",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("19aaf900-908c-4973-9b21-4aeb28674a99",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ED
	VALUES ("d19bb0f9-c37c-4cd1-a5c6-d4b1c15dbe3f",
	"00000000-0000-0000-0000-000000000000",
	"19aaf900-908c-4973-9b21-4aeb28674a99");
INSERT INTO GD_GE
	VALUES ("86c6840e-d190-4311-b900-5a9ea3b78cf1",
	"7f08002b-4999-4efc-b2e5-af91e9fe45ae",
	"03547a00-a3f9-4668-ac89-338e1c428a19",
	41,
	0,
	'shlaer-mellor-metamodel::metamodel::Shlaer-Mellor Metamodel::Type::Boolean::Instance State Machine::Destroying');
INSERT INTO GD_SHP
	VALUES ("86c6840e-d190-4311-b900-5a9ea3b78cf1");
INSERT INTO GD_NCS
	VALUES ("86c6840e-d190-4311-b900-5a9ea3b78cf1");
INSERT INTO DIM_ND
	VALUES (200.000000,
	150.000000,
	"86c6840e-d190-4311-b900-5a9ea3b78cf1");
INSERT INTO DIM_GE
	VALUES (4296.000000,
	3408.000000,
	"86c6840e-d190-4311-b900-5a9ea3b78cf1",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("86c6840e-d190-4311-b900-5a9ea3b78cf1",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_CON
	VALUES ("4cb7a57e-fca9-4dd5-a4a9-02113868d817",
	4392.000000,
	3408.000000,
	"86c6840e-d190-4311-b900-5a9ea3b78cf1");
INSERT INTO GD_GE
	VALUES ("70bb2adc-f4bc-4d35-bdf3-0efe671150fc",
	"7f08002b-4999-4efc-b2e5-af91e9fe45ae",
	"fd52c433-87ce-477c-8a3b-0bda3f26c2b1",
	42,
	0,
	'shlaer-mellor-metamodel::metamodel::Shlaer-Mellor Metamodel::Type::Boolean::Instance State Machine::Creating::BOOL2: destroy');
INSERT INTO GD_CON
	VALUES ("70bb2adc-f4bc-4d35-bdf3-0efe671150fc",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("0329b546-33db-4989-921a-ce33e44903f2",
	"70bb2adc-f4bc-4d35-bdf3-0efe671150fc",
	0,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"0329b546-33db-4989-921a-ce33e44903f2");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"0329b546-33db-4989-921a-ce33e44903f2",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("0329b546-33db-4989-921a-ce33e44903f2",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("1b7373e9-afca-4754-8cd1-34a8d37d6e80",
	"70bb2adc-f4bc-4d35-bdf3-0efe671150fc",
	2,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"1b7373e9-afca-4754-8cd1-34a8d37d6e80");
INSERT INTO DIM_GE
	VALUES (4231.000000,
	3339.000000,
	"1b7373e9-afca-4754-8cd1-34a8d37d6e80",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("1b7373e9-afca-4754-8cd1-34a8d37d6e80",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_CTXT
	VALUES ("c87bba56-7243-4ee6-a8ad-8b8c96da450f",
	"70bb2adc-f4bc-4d35-bdf3-0efe671150fc",
	1,
	0.000000,
	0.000000);
INSERT INTO DIM_ND
	VALUES (0.000000,
	0.000000,
	"c87bba56-7243-4ee6-a8ad-8b8c96da450f");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"c87bba56-7243-4ee6-a8ad-8b8c96da450f",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("c87bba56-7243-4ee6-a8ad-8b8c96da450f",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO GD_LS
	VALUES ("77192ab0-a6ed-4aa7-857c-cf4e2bb647b7",
	"70bb2adc-f4bc-4d35-bdf3-0efe671150fc",
	"00000000-0000-0000-0000-000000000000",
	"06dc17f0-0ff0-422b-b1a2-effd1508f271",
	"84fff4f4-5483-4175-bfe6-8886a7fe7627");
INSERT INTO DIM_WAY
	VALUES ("06dc17f0-0ff0-422b-b1a2-effd1508f271",
	4392.000000,
	3284.000000,
	"70bb2adc-f4bc-4d35-bdf3-0efe671150fc",
	"00000000-0000-0000-0000-000000000000",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_WAY
	VALUES ("84fff4f4-5483-4175-bfe6-8886a7fe7627",
	4392.000000,
	3408.000000,
	"70bb2adc-f4bc-4d35-bdf3-0efe671150fc",
	"00000000-0000-0000-0000-000000000000",
	"06dc17f0-0ff0-422b-b1a2-effd1508f271");
INSERT INTO DIM_GE
	VALUES (0.000000,
	0.000000,
	"70bb2adc-f4bc-4d35-bdf3-0efe671150fc",
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ELE
	VALUES ("70bb2adc-f4bc-4d35-bdf3-0efe671150fc",
	0,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO DIM_ED
	VALUES ("68dc9041-b3b5-4b49-974b-39bd48079c9d",
	"4cb7a57e-fca9-4dd5-a4a9-02113868d817",
	"70bb2adc-f4bc-4d35-bdf3-0efe671150fc");
INSERT INTO DIM_DIA
	VALUES ("7f08002b-4999-4efc-b2e5-af91e9fe45ae",
	'',
	1.000000,
	0.000000,
	0.000000,
	"00000000-0000-0000-0000-000000000000");
INSERT INTO O_OBJ_PROXY
	VALUES ("97deb723-8b1d-43a6-95c5-2bada8a89daf",
	'Boolean',
	408,
	'BOOL',
	'"The boolean base data type is exactly what you expect: a pre-defined 
enumerated data type with values True and False. To define a domain-specific 
data type based on a boolean base type, write:
    data type <name> is boolean
    (default value is <value>)

The operations permitted for data elements based on these base types include 
the comparison operations, represented as = (identical in value) and != (not 
identical in value). The result of either comparison yields a data element of 
base type boolean. The logical operations, not, and, & or, are defined in the 
standard way." [OOAData]',
	"00000000-0000-0000-0000-000000000000",
	'../Boolean.xtuml');
